Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
Oh, Susan, thank you so much
噢 ，Susan ，谢谢你。
Think all you speak, but speak not all you think.
想想你所说的一切，不要全部说出你所想的。
Soon the hobby leads to travel, perhaps to a meeting in another town, possibly a trip abroad in search of a rare specimen, for collectors are not confined to any one country.
用不了多久，有这种爱好的人便开始旅行，也许是去另一个城市参加会议，也可能是出国寻找一件珍品，因为收藏家是不分国籍的。